#include "sdag-globals.h"
#include <stdarg.h>
#include <stdio.h>

namespace xi {

void Indent(int indent) {
  for (int i = 0; i < indent; i++) printf("  ");
}

int numSdagEntries = 0;
int numSlists = 0;
int numOverlaps = 0;
int numWhens = 0;
int numFors = 0;
int numIfs = 0;
int numElses = 0;
int numEntries = 0;
int numOlists = 0;
int numWhiles = 0;
int numSerials = 0;
int numForwards = 0;
int numForalls = 0;
int numConnects = 0;
int numCases = 0;
int numCaseLists = 0;

void resetNumbers(void) {
  numSdagEntries = 0;
  numSlists = 0;
  numOverlaps = 0;
  numWhens = 0;
  numFors = 0;
  numIfs = 0;
  numElses = 0;
  numEntries = 0;
  numOlists = 0;
  numWhiles = 0;
  numSerials = 0;
  numForwards = 0;
  numForalls = 0;
  numConnects = 0;
  numCases = 0;
  numCaseLists = 0;
}

}  // namespace xi
